discrete math subset proof